1

Philosophy, mathematics, science and computation

Year:
1994
Language:
english
File:
PDF, 1.39 MB
english, 1994
2

Model verification in λΣ

Year:
1991
Language:
english
File:
PDF, 569 KB
english, 1991